961. Verification of infinite-state systems with applications to security /
پدیدآورنده : edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
رده :
Q295
.
N38
2005eb
962. VizSEC 2007
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Congresses. ;
963. VizSEC/DMSEC'04 : proceedings of the 2004 ACM Workshop on Visualization and Data Mining for Computer Security, Washington, DC, USA, October 29, 2004, co-located with CCS 2004
پدیدآورنده : sponsored by ACM SIGSAC
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Data mining
رده :
QA
76
.
9
.
A25A384
2004
964. WORM'05 : proceedings of the 2005 ACM Workshop on Rapid Malcode, November 11, 2005, Fairfax, Virginia, USA; co-located with CCS 2005
پدیدآورنده : Angelos D. Keromytis, editor; sponsored by ACM Special Interest Group on Security, Audit & Control )SIGSAC(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Computer networks -- Security measures,Congresses ، Computer viruses
رده :
QA
76
.
9
.
A25A345
2005
965. WORM'03 : proceedings of the 2003 ACM Workshop on Rapid Malcode : Washington, DC, USA, October 27, 2003
پدیدآورنده : sponsored by ACM SIGSAC; with contributions from Defense Advanced Research Projects Agency
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Computer networks -- Security measures,Congresses ، Computer viruses
رده :
QA
76
.
9
.
A25A345
2003
966. WORM'04 : proceedings of the 2004 ACM Workshop on Rapid Malcode, Washington, DC, USA, October 29, 2004
پدیدآورنده : Sponsored by ACM SIGSAC; with contributions from Defense Advanced Research Projects Agency
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Computer networks -- Security measures,Congresses ، Computer viruses
رده :
QA
76
.
9
.
A25A345
2004
967. WPES'05 : proceedings of the 2005 ACM Workshop on Privacy in the Electronic Society, November 7, 2005, Alexandria, Virginia, USA )co-located with CCS 2005(
پدیدآورنده : Sabrina De Capitani di Vimercati & Roger Dingledine, editors; sponsored by ACM Special Interest Group on Security, Adit & Control )SIGSAC(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Congresses ، Privacy, Right of,Moral and ethical aspects -- Congresses ، Information technology
رده :
QA
76
.
9
.
A25A33
2005
968. WPES'03 : proceedings of the 2003 ACM Workshop on Privacy in the Electronic Society : Washington, D.C., USA, October 30, 2003 : co-located with CCS'03
پدیدآورنده : edited by Pierangela Samarati and Paul Syverson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25A33
2003
969. WiSe : proceedings of the 2002 ACM Workshop on Wireless Security : Co-located with MobiCom 2002 Conference : September 28, 2002, Atlanta, Georgia, USA
پدیدآورنده : ]sponsored by ACM Sigmobil[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Security measures -- Congresses ، Wireless communication systems
رده :
TK
5102
.
85
.
A288
2002
970. WiSe : proceedings of the 2003 ACM Workshop on Wireless Security : September 2003, San Diego, California, USA
پدیدآورنده :
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Security measures -- Congresses ، Wireless communication systems
رده :
TK
5102
.
85
.
A288
2003
971. WiSe : proceedings of the 2005 ACM Workshop on Wireless Security, co-located with MobiCom 2005 Conference, September 2, 2005, Cologne, Germany
پدیدآورنده : sponsored by ACM SIGMobile; with support from Indiana University, Center for Applied Cybersecurity Research & the U.S. Army Research Office
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security,Security measures -- Congresses ، Wireless communication systems
رده :
TK
5102
.
85
.
A288
2005
972. challenges and applications--Trusted computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Congresses. ; Data encryption (Computer science) ; Congresses. ; Public key infrastructure (Computer security) ; Congresses. ;
973. data Services :-Security with Intelligent Computing and Big
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Congresses. ;
974. data services 2019 :-Security with intelligent computing and big
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Congresses. ;
975. services-organizational E-Certification and security in inter
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer security ; Congresses. ; Business ; Data processing ; Security measures ; Congresses. ;
976. system assurance
پدیدآورنده : / nikolai mansourov,djenana campara
کتابخانه: کتابخانه پژوهشکده بیمه (تهران)
موضوع : Computer networks--Security measures--Economic aspects--Congresses
رده :
TK5105
.
59
.
N5S8
2011
977. 34th Annual 2000 International Carnahan Conference on Security Technology ]electronic resource[: proceedings: the Institute of Electrical and Electronics Engineers: October 23-25, 2000, Ottawa, Ontario, Canada
پدیدآورنده : editor, Larry D. Sanson; sponsored by IEEE Lexington Section USA ...]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Security systems,Congresses ، Electronics in crime prevention,Congresses ، Computer security,، Online resources
رده :
HV
7936
.
E7
I58
2000
978. 34th Annual 2000 International Carnahan Conference on Seurity Technology : proceedings : the Institute of Electrical and Electronics Engineers : October 23-25, 2000, Ottawa, Ontario, Canada
پدیدآورنده : editor, Larry D. Sanson; sponsored by IEEE Lexington Section USA...]et al.[.; in association with G. Levett & Associates
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Security systems,Congresses ، Electronics in crime prevention,Congresses ، Computer security
رده :
HV
7936
.
E7I57
2000
979. 13th IEEE Computer Security Foundations Workshop CSFW 13, July 3-5, 2000, Cambridge, England : proceedings
پدیدآورنده : Sponsored by the IEEE Computer Society, Technical Committee on Security and Privacy
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Computer security
رده :
QA
76
.
9
.
A25I4
2000
